Problema de Dirichlet

En matemáticas, el problema de Dirichlet es un problema que consiste en hallar una función que es la solución de una ecuación en derivadas parciales (EDP) en el interior de un dominio de $\mathbb {R} ^{n}$ (o más generalmente una variedad diferenciable) que tome valores prescritos sobre el contorno de dicho dominio.

El problema de Dirichlet puede resolverse para muchas EDPs, aunque originalmente fue planteada para la ecuación de Laplace. En este caso el problema puede enunciarse como sigue:

Dada una función $f$ con valores en todos los puntos del contorno de una región en $\mathbb {R} ^{n}$. ¿Existe una única función continua $u$ dos veces continuamente diferenciable en el interior y continua en el contorno, tal que u es armónica en el interior y $u=f$ en el contorno?

Este requisito se denomina condición de contorno de Dirichlet. En este problema es fundamental probar la existencia de la solución; la unicidad viene dada utilizando el principio del máximo.

Historia

El problema de Dirichlet debe su nombre a Lejeune Dirichlet, quien propuso una solución para un método variacional el cual se conoce como principio de Dirichlet. La existencia de una solución única es muy plausible por el 'argumento físico': cualquier distribución de carga sobre el contorno, para las leyes de la electrostática, deberá determinar un potencial eléctrico como solución.

Sin embargo, Weierstrass encontró una falla al argumento de Dirichlet, y una demostración rigurosa de la existencia fue encontrada recién en 1900 por Hilbert. Resultó entonces que la existencia de una solución depende delicadamente de la suavidad del contorno y de los datos prescritos.

Solución general

Para un dominio $D$ teniendo la suavidad suficiente sobre el contorno $\partial D$, la solución general al problema de Dirichlet es:

$u(x)=\int _{\partial D}\nu (s){\frac {\partial G(x,s)}{\partial n}}ds$

donde

$G(x,y)$ es la función de Green para la ecuación en derivadas parciales, y

${\frac {\partial G(x,s)}{\partial n}}={\widehat {n}}\cdot \nabla _{s}G(x,s)=\sum _{i}n_{i}{\frac {\partial G(x,s)}{\partial s_{i}}}$

es la derivada de la función de Green a lo largo del vector unitario normal apuntando hacia el interior ${\widehat {n}}$. La integración se realiza sobre el contorno, con la medida $ds$. La función $\nu (s)$ está dada por la solución única de la ecuación integral de Fredholm de segunda clase,

$f(x)=-{\frac {\nu (x)}{2}}+\int _{\partial D}\nu (s){\frac {\partial G(x,s)}{\partial n}}ds.$

La función de Green a utilizar en la integral de arriba desaparece en el contorno:

$G(x,s)=0\,$

para $s\in \partial D$ y $x\in D$. Tal función de Green usualmente es una suma de las funciones de Green del campo libre una solución armónica a la ecuación diferencial.

Existencia

El problema de Dirichlet para funciones armónicas siempre tiene solución, y esa solución es única cuando el contorno es suficientemente suave y $f(s)$ es continua. Más precisamente, tiene solución cuando:

$\partial D\in C^{(1,\alpha )}$

para $0<\alpha \,$, donde $C^{(1,\alpha )}\,$ es la condición de Hölder.

Las condiciones anteriores pueden relajarse pudiéndose probar que el problema de Dirichlet admite solución continua para un dominio convexo (sin requerir condiciones de suavidad) o cuando cada punto del contorno pertenece a una bola cerrada íntegramente contenida en el conjunto complementario del interior del dominio (condición de la bola cerrada exterior).

Unicidad

Supongase la existencia de dos funciones armónicas en una región R simplemente conexa que cumplen:

$\Delta u_{1}=\Delta u_{2}\qquad \forall x\in R\qquad y\qquad u_{1}|_{\delta R}=u_{2}|_{\delta R}=f(x)\qquad \forall x\in \delta R$

Se construye la siguiente función:

$u_{0}=u_{1}-u_{2}\qquad \forall x\in R$

Por construcción la función dada cumple:

$\Delta u_{0}=\Delta (u_{1}-u_{2})=\Delta u_{1}-\Delta u_{2}=0\qquad y\qquad u_{0}|_{\delta R}=u_{1}|_{\delta R}-u_{2}|_{\delta V}=0$

Integrando la norma del gradiente de $u_{0}$ en todo el volumen delimitado por el contorno y aplicando el teorema de Green se tiene que:

$\int _{R}\nabla u_{0}\cdot \nabla u_{0}dV=\int _{R}\nabla \cdot (u_{0}\nabla u_{0})dV-\int _{R}u_{0}\Delta u_{0}dV=\int _{\delta R}u_{0}\nabla u_{0}\cdot dS-\int _{R}u_{0}\Delta u_{0}dV$

pero

$\Delta u_{0}=0\qquad \Rightarrow \qquad \int _{R}u_{0}\Delta u_{0}dV=0$

$u_{0}|_{\delta R}=0\qquad \Rightarrow \qquad \int _{\delta R}u_{0}\nabla u_{0}\cdot dS=0$

de modo que:

$\int _{R}\nabla u_{0}\cdot \nabla u_{0}dV=\int _{R}||\nabla u_{0}||^{2}dV=0\qquad \Rightarrow \qquad \nabla u_{0}=0\qquad \forall x\in R\qquad \Rightarrow \qquad u_{0}=cte\qquad \forall x\in R$

Dado que $u_{0}|_{\delta R}=0$ se tiene finalmente que:

$u_{0}=0\qquad \forall x\in R\qquad \Rightarrow \qquad u_{1}=u_{2}\qquad \forall x\in R$

Construcción de Perron

Cuando el problema de Dirichlet se plantea sobre un conjunto abierto $\scriptstyle \Omega$ y acotado de $\scriptstyle \mathbb {R} ^{n}$ y $\scriptstyle f$ denota una función real continua sobre la frontera $\scriptstyle \partial \Omega$ puede definirse la llamada construcción de Perron que convierte el problema de Dirichlet en un problema de minimización. Si se define el conjunto de Perron $\scriptstyle S_{f}$ para $\scriptstyle f$ como el conjunto de funciones reales continuas $\scriptstyle u$ definidas sobre $\scriptstyle {\bar {\Omega }}$ que son subarmónicas sobre $\scriptstyle \Omega$ y que satisfacen que $\scriptstyle u\leq f$ sobre $\scriptstyle \partial \Omega$. Nótese que este conjunto es no vacío ya que contiene la función constante para $\scriptstyle u(x)=m$, siendo para $\scriptstyle m$ el mínimo de la función $\scriptstyle f$ sobre la frontera. Puede probarse que la siguiente función:

${\bar {f}}=\sup\{u(x)|u\in S_{f}\}$

es solución del problema de Dirichlet buscado cuando la frontera es tal que el problema admite solución única. Aun cuando la función anterior no sea una solución del problema de Dirichlet por irregularidades en la frontera, puede probarse que sigue siendo una función armónica sobre para $\scriptstyle \Omega$.

Ejemplo: el disco unitario en dos dimensiones

En algunos casos simples el problema de Dirichlet puede resolverse en forma explícita. Por ejemplo, la solución para el problema de Dirichlet para un disco unitario en $\mathbb {R} ^{2}$ está dado por la fórmula integral de Poisson.

Si $f$ es una función continua sobre el contorno $\partial D$ del disco unitario abierto $D$, entonces la solución al problema de Dirichlet es $u(z)$ dado por:

$u(z)={\begin{cases}{\cfrac {1}{2\pi }}\int _{0}^{2\pi }f(e^{i\psi }){\cfrac {1-\vert z\vert ^{2}}{\vert z-e^{i\psi }\vert ^{2}}}d\psi &{\mbox{si }}z\in D\\f(z)&{\mbox{si }}z\in \partial D.\end{cases}}$

La solución $u$ es continua en el disco unitario cerrado ${\bar {D}}$ y armónica sobre $D.$

El integrando se conoce como kernel de Poisson; esta solución resulta de la función de Green en dos dimensiones:

$G(z,x)=-{\frac {1}{2\pi }}\log \vert z-x\vert +\gamma (z,x)$

donde $\scriptstyle \gamma (z,x)$ es armónica

$\Delta _{x}\gamma (z,x)=0\,$

y elegida tal que $\scriptstyle G(z,x)=0$ para $x\in \partial D$.

Generalizaciones

Los problemas de Dirichlet son típicos de las ecuaciones en derivadas parciales elípticas, la teoría del potencial, y la ecuación de Laplace en particular. Otros ejemplos son la ecuación biarmónica y las ecuaciones relacionadas con la teoría de la elasticidad.

Este es uno de los problemas de varios tipos de clases problemas de EDP definidos por la información dada en el contorno, entre los cuales están también el problema de Neumann y el problema de Cauchy.

Aplicaciones

El problema de Dirichlet ocurre en múltiples problemas físicos:

1. En teoría del potencial para regiones desprovistas de carga.
2. En teoría de la elasticidad cuando no aparecen densidades de fuerza.

Véase también

• Método de Perron

Referencias

• A. Yanushauskas (2001), «Dirichlet_problem&oldid=15416», en Hazewinkel, Michiel, ed., Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104 .
• S. G. Krantz, The Dirichlet Problem. §7.3.3 in Handbook of Complex Variables. Boston, MA: Birkhäuser, p. 93, 1999. ISBN 0-8176-4011-8.
• S. Axler, P. Gorkin, K. Voss, The Dirichlet problem on quadratic surfaces Mathematics of Computation 73 (2004), 637-651.
• Gilbarg, David; Trudinger, Neil S. (2001), Elliptic partial differential equations of second order (2nd edición), Berlín, New York: Springer-Verlag, ISBN 978-3-540-41160-4 .

Enlaces externos

• Weisstein, Eric W. «Dirichlet Problem». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 
• Dirichlet Problem Module by John H. Mathews

• Datos: Q1192869